2

Mathematics as an Objective Science

Year:
1979
Language:
english
File:
PDF, 1.58 MB
english, 1979
3

Elements of Intuitionismby Michael Dummett; Roberto Minio

Year:
1979
Language:
english
File:
PDF, 104 KB
english, 1979
4

The experiential foundations of mathematical knowledge

Year:
1981
Language:
english
File:
PDF, 611 KB
english, 1981
5

The Logic of Contradiction

Year:
1981
Language:
english
File:
PDF, 503 KB
english, 1981
7

The knowing mathematician

Year:
1984
Language:
english
File:
PDF, 965 KB
english, 1984
9

The Theory of the Gödel Functionals

Year:
1976
Language:
english
File:
PDF, 215 KB
english, 1976
10

Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic

Year:
1984
Language:
english
File:
PDF, 233 KB
english, 1984
11

Topological models of epistemic set theory

Year:
1990
Language:
english
File:
PDF, 1.29 MB
english, 1990
12

Replacement and collection in intuitionistic set theory

Year:
1985
Language:
english
File:
PDF, 426 KB
english, 1985
14

A simplification of combinatory Logic

Year:
1972
Language:
english
File:
PDF, 1.21 MB
english, 1972
16

New Directions in the Philosophy of Mathematics || Modernizing the Philosophy of Mathematics

Year:
1991
Language:
english
File:
PDF, 913 KB
english, 1991
17

Scattering of helium atoms by liquid helium

Year:
1986
Language:
english
File:
PDF, 314 KB
english, 1986
19

Mathematics as natural science

Year:
1990
Language:
english
File:
PDF, 991 KB
english, 1990
23

Sticking coefficients of atoms on solid surfaces at low temperatures

Year:
1979
Language:
english
File:
PDF, 107 KB
english, 1979
26

Roles of the attractive and repulsive forces in atomic-force microscopy

Year:
1991
Language:
english
File:
PDF, 178 KB
english, 1991
29

Nonequilibrium desorption of atoms and molecules from surfaces

Year:
1982
Language:
english
File:
PDF, 53 KB
english, 1982
33

Foundations: Logic, Language, and Mathematics, Part I || The Knowing Mathematician

Year:
1984
Language:
english
File:
PDF, 1.84 MB
english, 1984
34

Modernizing the philosophy of mathematics

Year:
1991
Language:
english
File:
PDF, 432 KB
english, 1991
36

Nonequilibrium desorption of atoms and molecules from surfaces

Year:
1982
Language:
english
File:
PDF, 618 KB
english, 1982
50

Replacement and Collection: A Correction

Year:
1986
Language:
english
File:
PDF, 90 KB
english, 1986